Factorisation using identities